English translation for "fixpoint theory of program"

程序不动点理论

Related Translations:

fixpoint semantic:  不动点语义固定点语义

least fixpoint:  最小不动点

greatest fixpoint:  最大不动点

fixpoint theory:  不动点理论

fixpoint induction method:  不动点归纳法

kleene fixpoint theorem:  kleene不动点定理

least fixpoint of functionals:  泛函的最小不动点

Similar Words：

"fixning" English translation, "fixot" English translation, "fixpoint induction method" English translation, "fixpoint semantic" English translation, "fixpoint theory" English translation, "fixprice models" English translation, "fixpunkt fixed-point" English translation, "fixpunktsatz fixed-point theorem" English translation, "fixson" English translation, "fixt" English translation